Feature/file assert

ready to go really, except that I also want to add:

[ ] argument for acting as a different user
[ ] support for the compile command