Half-line compressions and finite sections of discrete Schrödinger operators with integer-valued potentials