I just want to share some initial experiments I’ve done regarding property-based testing for Core. Property-based tests are designed to test the...