Unit tests, stateless fuzz tests, stateful fuzz tests, vs formal verification