Add example written after asyncAPI CUDA sample

This commit adds a new example that mirrors the asyncAPI sample
from NVIDIA's cuda-samples repository. The minimal required version
of GNAT is also bumped to ensure the presence of recent storage
model fixes.

The sample also makes use of the lower bound constraint GNAT
extension.