Fix some problems where the verifier would crash on invalid input instead of