A*-IDD buffers size limit

[shunjilin]

TODO: Decide whether to change A*-IDD partition buffers' size limit to track in-memory node sizes (sizeof(Node) + sizeof(packedState)) instead of current external memory node sizes.