Remove placeholder function calls
QuickCheck-related changes for fs2 backend
Add backend-specific bucket & key name generators