Stim: a fast stabilizer circuit simulator | Synapse