Stabilizer testing and central limit theorem | Synapse