fix(tools/proofchecker/checker): fix math functions(asin,acos,etc)
fix(tools/proofcheck/checker/lexer.mll): update hexlit regex
benchmark(PTC): remove
benchmark(PTC): remove