Text this: New Ramsey Multiplicity Bounds and Search Heuristics.