A JavaScript checker and optimizer