Remove `type_check` from `Property` trait #94

Job	Run time
fuzz (roundtrip_miniscript_str)	4m 40s
fuzz (roundtrip_miniscript_script)	4m 40s
fuzz (parse_descriptor)	4m 32s
fuzz (roundtrip_semantic)	4m 32s
fuzz (parse_descriptor_secret)	4m 31s
fuzz (roundtrip_descriptor)	4m 29s
fuzz (roundtrip_concrete)	4m 39s
fuzz (compile_descriptor)	4m 46s
fuzz (roundtrip_confidential)	4m 39s
verify-execution	0s
	41m 28s

Provide feedback