Added a brief intro of the new numerical debugging capability to the devtools overview page#12874

mergennachin merged 1 commit intorelease/0.7pytorch/executorch:release/0.7from

cherry-pick-12829-by-pytorch_bot_bot_pytorch/executorch:cherry-pick-12829-by-pytorch_bot_bot_Copy head branch name to clipboard