Handle assumption failures correctly, fixes #6
Remove unnecessary pessimism from readme.
Correct names following bad refactoring
Only execute root once; test root exceptions