execution-env.md: update to reflect special register etc. changes