Optimal certification of constant-local Hamiltonians