optimize basic blocks in general ([+-><]+), minor other tweaks. ~12% faster