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

Job	Run time
Rustfmt	1m 12s
Run examples & examples tests	3m 21s
Clippy lint checks (basic)	2m 11s
Build target wasm32-unknown-unknown	3m 13s
Clippy lint checks (wasm)	2m 7s
Build target wasm32-wasi	3m 12s
Test (basic)	3m 17s
Spell Check with Typos	3s
	18m 36s

Provide feedback