There is few solutions.
You can work with extended model or extended library.
As mentioned by yourself Ion_auth library automatically loads Ion_auth_model.
I think that every method from example controller uses library methods not from model.
So extending the library you would have access to model too.
Considering speed, if you don't need library itself loaded and just need model methods, you made it that way already.