Comment out a few calls to avoid excessive logging

These calls are in tight loops so it takes a lot of time to complete.

Add logging for prove function to track down erroneous theorems.
Clean up itab and simp module so errors are returned as early as possible
Clean up equal and bool module
Clean up drule module