vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification