refactor: Chapter09_Random_Walk.jl notebook

- Multiple definitions in Pluto
- Add x & y labels on plots
- Fix API change: StateOverriddenEnv -> StateTransformedEnv
- Fix right margin bug in Figure 9.1

Author: kir0ul