fix examples test
speedup/tweak debug encoder
refactor check functionality to DebugLint encoder