Fix a case in IdentifierManager.release(), reformat, add tests The case when all are reserved was not handled properly