Validating quantum computers using randomized model circuits | Synapse