Implement assumeProof and use it in erroneous theorems

This function tries to prove given term. If failed, it will assume the
result.

It's better than BUGGY directive since we can easily go back to 'prove'
when bugs are gone.

We also change logging of module entry to info since its messages are
quite sparse.
Bootstrap project using assumeProof function

Can initialize until recusion module.

There are StackOverflowExceptions in arith module.
Merge branch 'master' of https://github.com/jack-pappas/NHol