Check method signature/arity on contract_doubles.