Derive Macro WitVarLengthEncodable

#[derive(WitVarLengthEncodable)]
{
    // Attributes available to this derive:
    #[WitnessVarLengthEncodableBound]
}