Record datatype densify bug

Record_datatype::densify() doesn't work correctly.

The easiest example is:

struct X {
    int a;
}

with displacement += (displacement + alignment - 1) % alignment; we get displacement equals 3, and it should be 0.