Use `@allocated`/`@allocations` to test for allocations in mutating methods

[PerezHz]

After #347, #349 and #361 I think it can be beneficial to systematically test for allocations in mutating methods by leveraging ~AllocCheck.jl~ @allocated and/or @allocations.