Rename ds-test in our documentation to std-test + explain concrete starting state

[msooseth]

Description

Most people know the test suite as Forge's std-test. Also I added a section about symbolic vs concrete starting state.

Checklist

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