compilation improvements and better documentation about verix runtime on verix.md