Fail Faster: Staging and Fast Randomness for Property-Based Testing [video]