Vulnerability Detection in Solidity Smart Contracts via Machine Learning: A Qualitative Analysis | Synapse