Inconsistent descriptions between the code and the docs

[Stevengre]

Source: https://docs.runtimeverification.com/kontrol/guides/kontrol-example/property-verification-using-kontrol

Foundry update

We CounterTest.testSetNumber here, but foundry init changes to CounterTest.testFuzz_SetNumber.

Running Time

I just use 0:01:12 on my MacBook. Maybe we can change the time we mentioned? i.e. 3 minutes.

[Stevengre]

kontrol init is missing in the documentation.