benchmarks: add control for quadcopter added
fix(tools/proofcheck/checker/func.ml): remove debugging info