Assertions that throw InternalCompilerErrors.
Format catch arguments as function parameters.
Merge pull request #640 from chriseth/sol_solAssert

Assertions that throw InternalCompilerErrors.