- insert place holders for Dune tests

[e-acsl] fixing comments

also impose replay mode in the CI, so as to be warned if cache needs updating.

can be useful when something fails even though we don't necessarily
want it in oracles.