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

Job	Run time
Rustfmt	44s
Clippy lint checks (basic)	2m 29s
Run examples & examples tests	6m 2s
Clippy lint checks (wasm)	1m 37s
Build target wasm32-unknown-unknown	3m 33s
Test (basic)	5m 49s
Build target wasm32-wasi	3m 35s
Spell Check with Typos	11s
	24m 0s

Provide feedback