Add property-based test for parts of noesis_datetime