CoCalc Email Address Verification

This is currently not used in any way. It will be in the future, and we will explain here how it is used.