The Recon Extension: Now With More Halmos

Run Halmos, Echidna and Medusa, generate reports and convert broken tests into Foundry reproducers using the Recon extension