add const generic ENABLE_SANITY_CHECK to control sanity check part in NIMFS prove #74

	name: Build and Test Nova

	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Install
	run: rustup default stable
	- name: Install rustfmt Components
	run: rustup component add rustfmt
	- name: Install clippy
	run: rustup component add clippy
	- name: Install Wasm target
	run: rustup target add wasm32-unknown-unknown
	- name: Build
	run: cargo build --verbose
	- name: Wasm build
	run: cargo build --target wasm32-unknown-unknown
	- name: Build examples
	run: cargo build --examples --verbose
	- name: Build benches
	run: cargo build --benches --verbose
	- name: Run tests
	run: cargo +stable test --release --verbose
	- name: Check Rustfmt Code Style
	run: cargo fmt --all -- --check
	- name: Check clippy warnings
	run: cargo clippy --all-targets -- -D warnings

Provide feedback