Init Kontrol tests for demo

[palinatolmach]

To run tests introduced in this PR, please execute

kontrol build --require lemmas.k --module-import KontrolAllowedControllersTest:PROJECT-LEMMAS
kontrol prove --match-test "prove_" -j5

The added tests are generalized versions of existing tests, e.g.,

    function prove_setFactory_onlyOwner(address caller, address _delegationWalletFactory) public {
        _notBuiltinAddress(caller);
        _notBuiltinAddress(_delegationWalletFactory);

        vm.prank(caller);

        vm.expectRevert("Ownable: caller is not the owner");
        registry.setFactory(_delegationWalletFactory);
    }

    function prove_setFactory_should_work(address _delegationWalletFactory) public {
        _notBuiltinAddress(_delegationWalletFactory);
        vm.assume(_delegationWalletFactory != address(0));

        registry.setFactory(_delegationWalletFactory);

        assert(registry.delegationWalletFactory() == _delegationWalletFactory);
    }

ensure that a factory in DelegationWalletFactory can only be set by an owner, and is set successfully if the factory address is valid and setFactory is called by an owner.