Early exit from trace doesn't handle return values

[ptersilie]

When a trace returns from the main interpreter loop we currently ignore any return values. We should at the very least put an assert in that the return type is void.