Announcing the release of the free Verification Handbook