The Solidity Language open-source package was used in a $500,000 crypto heist