code: public void verify(final int height, final EnumSet<VerifyFlag> flags) throws VerificationException {
          verifyHeader();
          verifyTransactions(height, flags);
      }
docs: Verifies both the header and that the transactions hash to the merkle root.
  
  @param height block height, if known, or -1 otherwise.
  @param flags flags to indicate which tests should be applied (i.e.
  whether to test for height in the coinbase transaction).
  @throws VerificationException if there was an error verifying the block.