QuickChecks for plainText lens laws