vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification | IEEE Conference Publication | IEEE Xplore