mpeg12dec: move checks out of decode picture coding extension.