Remove workarounds for verifier loop limitation once fixed

[dthaler]

Describe the bug

vbpf/ebpf-verifier#441 prevents verifying programs with loops.
PR #1991 puts a workaround in place in 3 sample programs.
This issue is to track removing the workaround once the verifier limitation is addressed.

Sample programs affected:
bindmonitor.c
bindmonitor_tailcall.c
map.c

OS information

No response

Steps taken to reproduce bug

Try to verify sample programs with loops.

Expected behavior

Samples pass verification without the workaround in place.

Actual outcome

Samples fail verification without the workaround in place.

Additional details

No response