Brew formula update for verifpal version v0.15.3

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

 
  Test
canceled #1058
test