[Pharo-project] Status on VM's (Coq, JIT)