Add rustdocs to `WitnessProgram` commenting on why we carry the witness version number around with the witness program. This is mainly a dev comment but it helps document the invariants so make it a rustdoc comment.