Schema validation should fail if logical type does not match literal type

The spec explicitly links logical types with underlying actual types, but the implementation in python allows a logical type that does not match the specified underlying type. This diverges python from the Java implementation, which requires the logical and actual types to match.