Cancel internal miner solver tasks when the best chain tip changes

## Motivation

When mining with many solver tasks, Zebra's miner can create many chain forks on Testnet (10 were seen on the NU6 private Testnet).

##### Related

See if there are any changes in https://github.com/ZcashFoundation/zebra/pull/8174 that may still be valuable.