Assembly Property-Based Testing Demo