test(stm): recover the ignored IVC prover input preparation tests - #3502

     5 files  ± 0     221 suites  ±0   2h 3m 12s ⏱️ - 11m 8s
 3 515 tests +10   3 515 ✅ +10  0 💤 ±0  0 ❌ ±0 
11 529 runs  +40  11 529 ✅ +40  0 💤 ±0  0 ❌ ±0 

Results for commit 65a4c66. ± Comparison against earlier commit 3f74d48.