I can see that active VM development discussion has started on Semux github. Devs are picking Ethereum VM if I'm not mistaken, which is a nice choice IMO (lots of contracts written in solidity already).