Improve buffer bounds checking in PE module