Using noir simple module

[jzaki]

Extract from Recursive proof How-To https://github.com/AztecProtocol/dev-rel/issues/197, and use in meaningful way.

[jzaki]

Initially in simple ts module (in recusion example), considered simple rust crate to expand potential users. example