Investigate (and implement?) positive-Wigner efficient simulation

[ecpeterson]

Quantum contextuality is known to be a key ingredient in producing quantum speedup—and, hence, in stymieing efficient classical simulation of quantum systems. As a sort of converse, Raussendorf et al. (https://arxiv.org/pdf/1905.05374.pdf) have a paper where they propose a scheme with the following traits:

1. Their method for simulation is 'efficient', presumably meaning that resource consumption scales polynomially with the number of qubits requested.
2. Their method for simulation subsumes the Gottesman stabilizer formalism.
3. The condition on Wigner functions is tightly coupled (though I am not clear on precisely how tightly) with non-contextuality, which is a gesture at the genericity of this method.

I haven't read this paper myself, but it seems like it could be reasonable fodder for a new QVM simulation mode. Someone ought to investigate.