fix(library/tactic): add relax_main_opaque flag to proof_state objects, closes #274