feat: add formal ways to detect zksync solc throughout the compilation flow

feat: add formal ways to detect zksync solc throughout the compilation flow #49