fix(tools/proofcheck/checker/lexer.mll): update hexlit regex