Was ist der QuickCheck? Wie wird er freigeschaltet? Wie wird dieser eingerichtet?