Make decoder scoring MUCH faster