Add flag to raise error if match statement does not match exaustively

Add flag to raise error if match statement does not match exaustively #4486