Also, make them check the required invariants for to->expires after
timeout_readd().

Also, actually use the different timeout values in the main()
function (whoops).