Algorand's Execution Environment

What is Algorand going to use for its execution environment? I understand from this previous topic that smart contracts are maybe not developed quite yet but on the roadmap… will they be compiled down to WASM and executed in a stack-based VM? Will they use the LLVM and leverage parallelization? Is there any documentation or are there any proposals out there I could read?

rgentry,

We are exploring several options on Smart Contracts, but we have not made final decisions on the environment.