pub fn commit_app_exe( app_fri_params: FriParameters, app_exe: impl Into<VmExe<F>>, ) -> Arc<VmCommittedExe<SC>>