More documentation
Shadow memory doc section rewritten
Instrumentation section in docs
Small changes in docs