Delete subgraph exit nodes if the subgraph is trivial.
Added trivial statement

- Added a statement that allows us to define programs that can be completely preexecuted
Made the compiler return trivial programs when possible
Fixed a few bugs and added a test case for the trivial instruction