Applications and verification of quantum computers