Much shorter summary messages (better for test-quick)

Signed-off-by: Ben Jackman <ben@jackman.biz>