Replace auto Verify detection with an `after` tag
Add a test for size == 0 for embedded struct
Test embedded verify
Add basic logging
Call verification method after applying the padding
Update option enumeration