Add detection of "variables that should never been written after an upgrade"

[montyly]

Codebase using the delegatecall proxy pattern ends up having state variables that must never be used again (deprecated variables). slither-check-upgradeability should detect them.

It might be a good time to slightly refactor the cli of slither-check-upgradeability to ease the integration of future features