Make the undocumented isa_* options "deprecated"

...which seems like better karma than none, as people really shouldn't be
using these anyways, but better nice than to have it done to me someday :)
...and test for the deprecation warnings

This has the added benefit of quieting them down :)