Show that inflate halts with an exception if the input is invalid