> The problem is lack of a standard, compact bytecode format for Javascript,

IE can embed javascript bytecode

    <script language = JScript.Encode>#@~^EQAAAA==C^+.D`Et+^VK~CgBbgQUAAA==^#~@</script>

save the above line to 1.html and open it in IE (version<9)

it's not standard, though.