Once we're sure we've gotten the "condensation" algorithm right for `jsondecode`, make it faster by pushing it down into the C++ oct-file layer.