Changed state names and switched Sessions to use NonceRounds.