2 new (failing) tests for smarter return requiring
Adding a tracer to verify that all paths through code end in a return, rather than dumbly looking at the last instruction
handling the switch 'multiple conceputal branches on one line' case in return validation