Fix Wrong Argument Annoations in Slither

[CharesFang]

Few days ago, when I was trying to pass the solc compiling options to Slither by using the argument solc_args, e.g., Slither(my_contract, solc_arguments=my_args), it did not function. I checked the crytic-compile source code and found that the argument crytic-compile actually takes is solc_args instead of solc_arguments, as the link here and following code segment shows. The argument annotation in slither.py is wrong and it will mislead developers to pass the solc compiling options with wrong keys.

    solc: str = kwargs.get("solc", "solc")
    solc_disable_warnings: bool = kwargs.get("solc_disable_warnings", False)
    solc_arguments: str = kwargs.get("solc_args", "")
    solc_remaps: Optional[Union[str, List[str]]] = kwargs.get("solc_remaps", None)

[CLAassistant]

All committers have signed the CLA.

[montyly]

Great catch, thanks @CharesFang