Mark Assert and Match failures as non-recoverable
Add debug levels and reduce default verbosity of --debug
Update README instructions
Merge pull request #1438 from OCamlPro/less-debug

Customise verbosity of --debug, and some maintenance fixes