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

### 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:

```solidity
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_