Make label/block lookup depend on out-context

This is stepping towards having nested label lookup, since inline
functions will have different labels to their containing function.
Inline functions save and restore label state for gotos
Inline label/goto tests
goto *expr/label test
TODO: bug with floating operand out_val loss