feat(prover): Use query macro instead string literals for queries (#2930

)

## What ❔

In some places our sqlx queries are using string literals instead of
query macros. This PR changes this behaviour in places it is possible.

## Why ❔

To prevent possible SQL injections.
It also will cache the queries, which should make them faster.

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [ ] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [ ] Code has been formatted via `zk fmt` and `zk lint`.