Complete Semantic Tests

As outlined in the README, semantic tests are not yet on par with Solidity's. We should remove any catching statements and handle all cases as defined in seismic-solidity repo.