The mining company increased total miners and hash rate, but increasing difficulty and a lower average BTC price drove metrics down for the month of May.