Идея в том, что трассирующие jit могут позволить писать программисту "говнокод", но он будет довольно хорошо работать. К примеру использовать сложное многоуровневое хэширование, создавать много промежуточных объектов. Человек пишет понятный ему код, занимается логикой алгоритма. А машина оптимизирует до приемлемого уровня. Статический анализ может не дать таких выгод, особенно с динамическими языками.