Add a strict mode to Echidna

[gustavo-grieco]

Following the discussion here, I think Echidna needs a special mode that we could call strict, where every time there is missing contract or a new address, it will cause the tool stop to ask the user to fix the testing contract.