Several typos fixed to spice_frontend_walkthroughs.md -