Minor cleanup/reformatting of logging code.
Merge branch 'removing-exceptions' of github.com:jack-pappas/NHol into removing-exceptions