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

Job	Run time
Rustfmt	27s
Clippy lint checks (basic)	2m 38s
Build target wasm32-unknown-unknown	3m 32s
Clippy lint checks (wasm)	47s
Run examples & examples tests	12m 20s
Build target wasm32-wasi	3m 28s
Test (basic)	12m 7s
Spell Check with Typos	4s
	35m 23s

Provide feedback