SpaceWASM: NASA/JPL's Wasm interpreter for spacecraft sequencing