Allow changing prefix from prove via --prefix in test mode

[msooseth]

Description

Currently, default prefix is "prove" as per documentation. Actually, we also accept "check". This PR allows us to change this from "prove" to any other value. We also drop "check" as a prefix that's accepted. The "check" was never advertised, so I think it's valid to remove? It makes the code simpler, and I think it's OK this way, as --prefix check can always be used to be backwards-compatible. This change is highlighted in the changelog.

Checklist

• tested locally
• added automated tests
• updated the docs
• updated the changelog

[msooseth]

This was actually unused

[msooseth]

This was actually unused, and so findAllUnitTests was also unused.

[msooseth]

This function was unused.

[blishko]

I don't think we need to pass the prefix through all the methods.
For example, unitTestMethodsFiltered already takes a filter, Text -> Bool. I think we should just include the check for the prefix in this filter.
mkSig does not need to do any filtering, it can return Sig instead of MaybeSig.

Though I am not sure if I understand correctly the match option. From the code, I inferred that it is a regex, but does it match against contract name or again method names?

[msooseth]

I don't think we need to pass the prefix through all the methods. For example, unitTestMethodsFiltered already takes a filter, Text -> Bool. I think we should just include the check for the prefix in this filter. mkSig does not need to do any filtering, it can return Sig instead of MaybeSig.

Though I am not sure if I understand correctly the match option. From the code, I inferred that it is a regex, but does it match against contract name or again method names?

It allows to match against both contract and method names via contractname.methodname:

  let testName (Sig n _) = c.contractName <> "." <> n

Which matcher is ran against. However, prefix is matched only against the method name. What do you think we should do?

[blishko]

I was hoping there is nice way to unify matching against contract and method name and against method prefix.

But I don't see one right now. So if you also don't see a nice way to simplify this, then let's merge it and move on!