Removed the now defunct debug.ml

The debug statements are all from 2009 and are no longer particularly
relevant. They are just useless computations now.
Do a comprehensive sweep of the usage of Failure

In most cases error messages were made a bit more precise and/or
informative.