The SEC just paid a whistleblower its largest-ever reward