Bump up DrDr timeout for with-tr-contracts.rkt