It should be possible to use `__nodet()` without having to declare it inline

[danielsn]

Requested feature: We should have a way to simply include verifier functions rather than requiring each test to do so.
Use case: Anyone writing tests
Link to relevant documentation (Rust reference, Nomicon, RFC):
Is this a breaking change? No

Test case:

let x = __nondet();