Add NIFSGadgetTrait, implement Mova's NIFSGadget, adapt Nova NIFSGadget into NIFSGadgetTrait #904

Job	Run time
Build target wasm32-unknown-unknown	3m 49s
Run examples & examples tests	13m 39s
Build target wasm32-wasi	3m 40s
Clippy lint checks (basic)	2m 33s
Rustfmt	27s
Clippy lint checks (wasm)	1m 11s
Test (basic)	22m 42s
Spell Check with Typos	4s
	48m 5s

Provide feedback