The luminosity function of TeV-emitting BL Lacs: observations of an HBL sample with VERITAS