As recent evidence has indicated, May ended up being a pretty busy month for the DC-area housing market.