Fine-tune shrinking behavior

### Describe the desired feature

# Description

In most cases, shrinking a transaction input is not necessary to understand why a property broke.

This is especially true when bounding the input parameters since what Echidna sees as a maximum/minimum value may differ from what the clamping algorithm considers the valid range.

In some cases, such as in external testing, addresses are often mapped to Echidna's default list of actors (`address(0x10000)`, `address(0x20000)`, `address(0x30000)`), so converting from `address(0x1fffffffe)` to `address(0xdeadbeef)` is even more pointless.

# Feature Request

This is a feature request to add additional configuration parameters to fine-tune the shrinking behavior.

Currently, as I understand it, the fuzzer tries to minimize both the number of calls that led to a broken property and each call's inputs.

By splitting the `shrinkLimit` value into `shrinkLimitCalls` and `shrinkLimitValues`, for example, we would allow developers to select which behavior they want from the fuzzer.