New Ramsey Multiplicity Bounds and Search Heuristics