[Bug]: `revert` does not stop control flow

[duckki]

Describe the issue:

Slither doesn't remove the outgoing control flow edges from expression nodes that call revert functions, as it does with throw statement.

Code example to reproduce the issue:

pragma solidity 0.8.13;

contract A {

    function test(uint a) external returns(bool) {
        if (a < 50) return true;
        revert("a greater than 50");
        return false;
    }
}

CFG:

The edge from revert node to return false node is wrong.

Version:

0.9.2

Relevant log output:

No response

[duckki]

Proposed fix PR: #1709