Implements full Shamir Tree scheme and BL canonical scheme. All tests pass.