Raise an invalid_argument if we encounter a pattern match exhaustion #18

The checker invokes String.get path i without checking bounds, which then raises. Instead, raise Invalid_argument in these cases except for index_from_opt which returns an option.