Add section on bytecode verification

[palinatolmach]

Users commonly request instructions on how to verify contracts that have bytecode but not source code available on chain. That can be done using vm.etch cheatcode we support, but we need to document it by adding instructions similar to https://github.com/a16z/halmos/wiki/FAQ#how-to-simulate-mainnet-forking.