Add proof for dep_parse_contract_aux_eq, dep_parse_contract_for_script_eq, dep_typecheck_views