use .expected files when dune is 3.22 #2345
Description
In dune 3.22, coq.theory stanzas will have support for .expected files which record the output of Rocq for certain files. We should use them in the test suite for two reasons:
- Silent builds
- being able to observe and inspect the output without running the file