The BSON traversal code used by bson validate is written with performance in mind to allow for high throughput.

If we separate the code for traversing the binary and validating it (while still maintaining inlining/performance for validate) it should allow us to write custom validate functions that can be used to scan BSON binaries in an efficient way.

It could be used to implement storage_validation::storageValid for example.