easycrypt

Fix simplify flag handling in `cfold`

Fix async while obligations and document the tactic

Represent exception default postconditions inside the exception map

Extend code-position handling with gap/range semantics

Activate CI on merge_group