Federal prosecutors say the software engineer used internal data to make Polymarket trades on Google’s Year in Search results.