fix(playground): repair stale/broken examples + faithful example verifier#1

natescode merged 2 commits into

mainnatescode/silicon:mainfrom

fix/playground-examplesnatescode/silicon:fix/playground-examplesCopy head branch name to clipboard