How we built Gravity, the query engine in pgrust v0.4-beta, by starting from the speed limit of the hardware and working backward.