feat: prove/verify and sync plonky3#523

Al-Kindi-0 merged 13 commits intoadd_plonky3_backend0xMiden/air-script:add_plonky3_backendfrom

sync_plonky3_aux_trace0xMiden/air-script:sync_plonky3_aux_traceCopy head branch name to clipboard