adding unit tests for PROVE_HYP
Merge branch 'removing-exceptions' of https://github.com/jack-pappas/NHol into removing-exceptions