A verification layer for browser agents: Amazon case study