라인 커버리지의 함정, Solidity 스마트 컨트랙트의 진정한 보안을 위한 뮤테이션 테스팅