Fixing docs, adding symbolic execution tutorial

[msooseth]

Description

Adding symbolic execution tutorial, and fixing the links in the ds-test tutorial.

Checklist

• [ ] tested locally
• [ ] added automated tests
• [x] updated the docs
• [x] updated the changelog