Deprecate the -enable-hax option