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

Job	Run time
Run examples & examples tests	5m 3s
Rustfmt	21s
Build target wasm32-unknown-unknown	3m 30s
Clippy lint checks (basic)	2m 13s
Build target wasm32-wasi	3m 39s
Clippy lint checks (wasm)	1m 4s
Test (basic)	4m 50s
Spell Check with Typos	4s
	20m 44s

Provide feedback