Don't banks make use of GPS to timestamp transactions?
I don't think so. Bank transactions are generally handled by (or through?) computers, computers generally get their date and time information through an internet protocol called NTP. True, some NTP servers use GPS receivers as their source of information, but some are far away and some do not use GPS at all, like caesium clocks. And yes, these protocols do know how to deal with propagation delays.