Better ggtags-project-oversize-p and oversize checking