Add fuel to match checking

[matklad]

https://niedzejkob.p4.team/rust-np/

Exhaustiveness checking can be arbitrary slow, we need to have an ability to give up after some time.

[Nadrieril]

Workin on it :)