Fix `pure_eval_surj` after change in HOL

Update benchmarking patches

Recognise `IO` (not `M`) in type signatures

Update CI after end-to-end correctness

Try to fix CI release mechanism (again)

Forgot to add GitHub token to CI