Gas Limit Vulnerabilities in Smart Contracts