Fixed a small, but dangerous, string-to-integer casting bug in hint_manager.

Expanded tests of hint_manager.

Enabled the hint_manager by default in development environments.