Update Readmes

* Better notes on how to run the interpreter tests
* Fill out todo list a bit
Add note about a parser constraint we could add
More tests on local vars
Note about constraints