OCM: Pointer values need to be compared for results that are returned as pointers, rather than comparing the pointers themselves (memory addresses).

[Yiannis128]

This will be resolved by #87, but we should consider if this behavior should be made default. For example:

int * result_old = function_old(a, b, c);
int * result_new = function_new(a, b, c);

Should the following comparison be kept for pointer return types:

assert(result_old == result_new);

Or should the following result be dynamically used (for pointer types):

assert(*result_old == *result_new);

[Yiannis128]

Handled by #88