profiler: fix read-only binding + dot8 batched-verify proxy + refined verdict

kernel limiter profiler: read-only vs ALU-intensity vs occupancy sweep