made updates to client-side execution methods
added method for compile-side searching direct children by hash
added compile-side proof list generation methods for execution
reformatted execution methods
fixed run-mode code verification
reformatted and fixed typos
Merge branch 'master' of https://github.com/JeremyRubin/MAST
fixed syntax errors