Motivation

After writing some programs in pinocchio, I realised that there's a redundancy to check specific requirements, e.g. checking whether a account is a signer

I think it's best if there's a helper function like require that checks these requirements, and a error_code equivalent of anchor to allow for custom errors