Improve posix_memalign implementations

Currently, the repository showcases in three places a `posix_memalign()` implementation by way of passing the arguments directly through to `aligned_alloc()`.

However, both functions have certain requirements on the inputs that should be validated for each. 