Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test