test(firecracker): round-trip all 9 Drive fields; drop gc Internals banner

Final-review polish: extend the codec property generator to exercise
io_engine/partuuid/socket (were never generated), and delete the
pre-existing '## Internals' banner in gc.ex (no-banner rule) while the
file is already open from the Gc.Prune extraction.

Author: markovejnovic

lib/hyper/img/db/gc.ex

@@ -118,8 +118,6 @@ defmodule Hyper.Img.Db.Gc do
   # role, monitor noise, etc.) rather than crashing an in-flight sweep.
   def handle_info(_msg, state), do: {:noreply, state}
 
-  ## Internals
-
   @spec acquire(t()) :: t()
   defp acquire(state) do
     case Horde.Registry.register(Routing.name(), @singleton_key, nil) do

test/hyper/firecracker/api/codec_properties_test.exs

@@ -40,6 +40,9 @@ defmodule Hyper.Firecracker.Api.CodecPropertiesTest do
           is_read_only <- optional(boolean()),
           path_on_host <- optional(string(:alphanumeric, min_length: 1)),
           cache_type <- optional(member_of(["Unsafe", "Writeback"])),
+          io_engine <- optional(member_of(["Sync", "Async"])),
+          partuuid <- optional(string(:alphanumeric, min_length: 1)),
+          socket <- optional(string(:alphanumeric, min_length: 1)),
           rate_limiter <- optional(rate_limiter())
         ) do
       %Drive{
@@ -48,6 +51,9 @@ defmodule Hyper.Firecracker.Api.CodecPropertiesTest do
         is_read_only: is_read_only,
         path_on_host: path_on_host,
         cache_type: cache_type,
+        io_engine: io_engine,
+        partuuid: partuuid,
+        socket: socket,
         rate_limiter: rate_limiter
       }
     end