Remove `type_check` from `Property` trait #95

Job	Run time
fuzz (roundtrip_miniscript_str)	5m 25s
fuzz (roundtrip_miniscript_script)	6m 2s
fuzz (parse_descriptor)	5m 19s
fuzz (roundtrip_semantic)	5m 31s
fuzz (parse_descriptor_secret)	6m 14s
fuzz (roundtrip_descriptor)	5m 40s
fuzz (roundtrip_concrete)	6m 33s
fuzz (compile_descriptor)	4m 54s
fuzz (roundtrip_confidential)	5m 51s
verify-execution	0s
	51m 29s

Provide feedback