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