Run pedant using machine_execute, way faster and clearer what is happening

This has been annoying me for a long time :)

If everyone agrees, I'll remove the pedant recipe as well