Improved Merlin–Arthur Protocols for Central Problems in Fine-Grained Complexity