pub fn check(cmd: WithStatus<UserCommand>) -> CheckResult
https://github.com/MinaProtocol/mina/blob/05c2f73d0f6e4f1341286843814ce02dcb3919e0/src/lib/verifier/common.ml#L29