Brew formula update for verifpal version v0.15.5

2 jobs for master
Status Job ID Name Coverage
  Lint
canceled #1079
lint

 
  Test
canceled #1080
test