That's a great piece of code, and not terribly hard to add to a plugin. Similar options can check for the PHP version or other PHP features.

I've used a similar idea to ensure that another plugin/theme that my private plugin requires is still active.