reduce verbosity
added mkDotProdServer with a synthesis boundary
indicate number of cycles in mmfDone