[Out of scope] Add `--filter` and `--only` from the prover to `move-spec-test`

[ctoyan]

In this slack thread, Marco suggests:

It would also be really nice to have for the move-spec-test the ability to specify both the filter currently present in the prover, i.e --filter and --only

Let's look into this when we're done with everything else.