Merge pull request #1015 from zhuowei/update_debugger_menu_at_startup Update debugger button states at startup to disable non-functional JIT menu items
