migration
Bug Fix: current API assumes TeacherAuthorizations to be comparable, but they were not. Also the revoked slot should not have been marked required