Bug 860838: OdinMonkey: Optimize FFI calls to ionmonkey, r=luke