Create AutoTest_R1CS.hpp