Introduce CI check for non-documented code

As the client continues to grow, we want to make sure it's as well documented as possible.
It would make sense to introduce a tool to check whether we are committing undocumented code (possibly both here and in `miden-base` as well since we re-export various structs from there).