Verifpal 0.9.3

Verifpal 0.9.2

Verifpal 0.9.1

Verifpal 0.9.0

Verifpal 0.8.10

Verifpal 0.8.9

Verifpal 0.8.8

Verifpal 0.8.7

Verifpal 0.8.6

Verifpal 0.8.5

Verifpal 0.8.4

Fix regression in 0.8.2.

- Performance improvements for skeleton-based injection.

- Performance optimizations for skeleton-based injection.

- Skeleton-based recursive mutation injection.