adds MorisTraversal to verify commitment tree creation